Projection, Projecteur \(p\) sur \(F\) parallèlement à \(G\)
Fonction linéaire qui associe la composante associée à \(F\), qui est
supplémentaire à \(G\).$$z\overset{\text{uniq.} }=\underset{\in F}{x}+\underset{\in G}{y}\implies p(z)=x$$
- image et noyau : \(\operatorname{Im}(p)=F\) et \(\ker(p)=G\) (\(p\) est la projection sur \(\operatorname{Im}(p)\) parallèlement à \(\ker(p)\))
- caractérisation : \(p\circ p=p\)
